Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
241	Worst-Case Analysis of Set Union Algorithms ROBERT E. TAR JAN AT&T Bell Laboratories, Murray Hdl, New Jersey AND JAN VAN LEEUWEN Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Search algorithms Graph theory Data structures Information science Information retrieval Disjoint-set data structure Binary trees Minimum spanning tree Routing algorithms Link/cut tree HeldKarp algorithm
242	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
243	Cyclicality of Job and Worker Flows: New Data and a New Set of Stylized Facts R¨ udiger Bachmann, Christian Bayer, Stefan Seth and Felix Wellschmied∗ April 6, 2013 Add to Reading List Source URL: www.eco.uc3m.es Language: English - Date: 2013-04-06 07:43:17 Economics Labour economics Economy Human resource management Business cycle Procyclical and countercyclical Systemic risk Industrial and organizational psychology Unemployment Turnover Real business-cycle theory
244	i i “imvol3” — — 15:41 — page 445 — #1 i Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2008-03-31 06:45:00 Graph theory Random walk PageRank Matrix Maximal independent set Trapezoid graph
245	Covering the real line with translates of a zero dimensional compact set Andr´as M´ath´e∗ Abstract We construct a compact set C of Hausdorff dimension zero so that cof (N ) many translates of C cover the real line. Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2012-01-10 05:31:55 Topology Mathematics Space Metric geometry General topology Dimension theory Fractals Hausdorff dimension Lebesgue measure Base Riemann surfaces Differential forms on a Riemann surface
246	Contributions on Secretary Problems, Independent Sets of Rectangles and Related Problems Jose´ A. Soto Doctoral Thesis Defense. Department of Mathematics. M.I.T. Add to Reading List Source URL: www.dim.uchile.cl Language: English - Date: 2013-08-08 17:44:25 Matroid theory Submodular set function Matroid
247	Brief Announcement: Local Approximability of Minimum Dominating Set on Planar Graphs Miikka Hilke Christoph Lenzen Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:03 Graph theory NP-complete problems Combinatorial optimization Planar graphs Dominating set Matching Graph coloring Maximal independent set
248	Efficient Computation of Two-dimensional Solution Sets Maximizing the Epsilon-Indicator Karl Bringmann Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:46:55 Computational complexity theory Mathematical optimization Multi-objective optimization Fourier analysis Approximation algorithms Analysis Mathematics Applied mathematics Delone set Differential of a function
249	Contributions on Secretary Problems, Independent Sets of Rectangles and Related Problems by José Antonio Soto Submitted to the Department of Mathematics Add to Reading List Source URL: www.dim.uchile.cl Language: English - Date: 2013-08-08 17:44:26 Graph theory Mathematics Matroid theory Discrete mathematics Matroid Graphic matroid Bipartite graph Submodular set function Combinatorics Perfect graph Linear programming Matroid oracle
250	Dynamic Graph Labeling Andreas Kinell Instructors: Regina O’Dell Roger Wattenhofer November 6, 2004 Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:37:00 Graph theory NP-complete problems Graph Graph coloring Planar graph Dominating set Connectivity Graph operations Planar separator theorem

UPDATE